DEF=test
EXT=test
TESTDIR=.
KOMPILE_FLAGS=--syntax-module TEST
KOMPILE_BACKEND=haskell

include ../../../include/kframework/ktest.mak
